1. Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, the Netherlands, May 5-8, 1998 : proceedings
المؤلف: Harrie de Swart, )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1397
2. June 3, 2011. Proceedingsع۰بRelational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30
المؤلف: / ller (auth.), Harrie de Swart (eds.)نBernhard M
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
4. Philosophical and Mathematical Logic /
المؤلف: by Harrie de Swart.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Epistemology.,Mathematical Logic and Formal Languages.,Mathematical Logic and Foundations.
رده :
BD143-237
5. Philosophical and mathematical logic /
المؤلف: Harrie de Swart.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Computer science.,Genetic epistemology.,Logic, Symbolic and mathematical.
رده :
BC131
6. Philosophical and mathematical logic /
المؤلف: Harrie de Swart.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Logic, Symbolic and mathematical.,Logic.
رده :
BC135
.
S93
2018
7. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
المؤلف: ]edited by[ Harrie de Swart
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
رده :
QA
76
.
9
.
R36
2011
8. Relational methods in computer science :6th International Conference, RelMICS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, Ocotrber 16-21, 2001 : revised papers
المؤلف: Harrie C.M. de Swart )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Computer science,Congresses ، Relationism
رده :
QA
76
.
L28
Vol
.
2561
9. Theory and applications of relational structures as knowledge instruments
المؤلف: / Harrie de Swart ... [et al.] (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science.,Relationism.
رده :
QA
,
76
,.
T483
,
2003
10. Theory and applications of relational structures as knowledge instruments : COST Action 274, TARSKI : revised papers
المؤلف: Harrie de Swart...]et al.[ )eds.(
المکتبة: (طهران)
موضوع: ، Computer science,، Rationalism
رده :
QA
76
.
L28
Vol
.
2929
